- symbolic(al) logic
- мат. символическая логика
Англо-русский современный словарь. 2014.
symbolic(al) logic
Смотреть что такое "symbolic(al) logic" в других словарях:
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Symbolic logic — is the area of mathematics which studies the purely formal properties of strings of symbols. The interest in this area springs from two sources. First, the symbols used in symbolic logic can be seen as representing the words used in philosophical … Wikipedia
Logic — • A historical survey from Indian and Pre Aristotelian philosophy to the Logic of John Stuart Mill Catholic Encyclopedia. Kevin Knight. 2006. Logic Logic … Catholic encyclopedia
Logic (disambiguation) — Logic is the study of the principles and criteria of valid inference and demonstration.Logic may also refer to:In logic and mathematics*A branch of logic: **Inductive logic, also called induction or inductive reasoning **Informal logic, the study … Wikipedia
Logic Theorist — is a computer program written in 1955 and 1956 by Alan Newell, Herbert Simon and J. C. Shaw. It was the first program deliberately engineered to mimic the problem solving skills of a human being and is called the first artificial intelligence… … Wikipedia
Symbolic (disambiguation) — Symbolic may refer to:* Symbolic (Death album), an album by the band Death * Symbolic (Voodoo Glow Skulls album), an album by the band Voodoo Glow Skulls * Symbolic logic, the use of symbols for logical operations in logic and mathematics *… … Wikipedia
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
symbolic logic — n. a modern type of formal logic using special symbols for propositions, quantifiers, and relationships among propositions and concerned with the elucidation of permissible operations upon such symbols … English World dictionary
logic — [läj′ik] n. [ME logike < OFr logique < L logica < Gr logikē ( technē), logical (art) < logikos, of speaking or reasoning < logos, a word, reckoning, thought < legein, to speak, choose, read < IE base * leg̑ , to gather > L … English World dictionary
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… … Universalium
